An Introduction to Pervasive Interface Automata

Pervasive systems are often context-dependent, component based systems in which components expose interfaces and offer one or more services. These systems may evolve in unpredictable ways, often through component replacement. We present pervasive interface automata as a formalism for modelling components and their composition. Pervasive interface automata are based on the interface automata of Henzinger et al, with several significant differences. We expand their notion of input and output actions to combinations of input, output actions, and callable methods and method calls. Whereas interfaces automata have a refinement relation, we argue the crucial relation in pervasive systems is component replacement, which must include consideration of the services offered by a component and assumptions about the environment. We illustrate pervasive interface autmotata and component replacement with a small case study of a pervasive application for sports predictions

The Relation between Galaxy Activity and the Dynamics of Compact Groups of Galaxies

Peer reviewe

Orthogonality Relations and Supercharacter Formulas of U(m|n) Representations

In this paper we obtain the orthogonality relations for the supergroup U(m|n), which are remarkably different from the ones for the U(N) case. We extend our results for ordinary representations, obtained some time ago, to the case of complex conjugated and mixed representations. Our results are expressed in terms of the Young tableaux notation for irreducible representations. We use the supersymmetric Harish-Chandra-Itzykson-Zuber integral and the character expansion technique as mathematical tools for deriving these relations. As a byproduct we also obtain closed expressions for the supercharacters and dimensions of some particular irreducible U(m|n) representations. A new way of labeling the U(m|n) irreducible representations in terms of m + n numbers is proposed. Finally, as a corollary of our results, new identities among the dimensions of the irreducible representations of the unitary group U(N) are presented.Comment: 56 pages, LaTeX, changes only in the writing of the titl

Infrared Surface Brightness Analysis of Galaxies in Compact Groups

Images of 7 Compact groups of galaxies (CG) were obtained using the 2.1m telescope in San Pedro Martir (B.C. Mexico) equipped with the NIR camera CAMILA. The NIR images trace the mass of the galaxies, through the oldest and more evolved stellar populations. The goal of this project is to search for evidence of morphological perturbations correlated with the level of activity (AGN or star formation) of the galaxies. We find that the level of perturbation is well correlated with activity observed in optical spectrocopy (Coziol et al. 2004). Evidence for perturbations decreases from more active groups to less active groups, confirming the classification. Our analysis suggests that galaxies in more active groups are undergoing important transformations due to interaction and merging and that the whole groups is on a merger path. Galaxies in less active CG have gone through similar processes in the recent past and are either in a final merging phase or in equilibrium due to a more massive halo of dark matter.Comment: 2 pages, 1 figure, Proc. ESO Workshop "Groups of galaxies in the nearby Universe", Santiago, Chile, 5-9 Dec. 2005, ESO Astrophysics Symposia, eds. I. Saviane, V. Ivanov & J. Borissova, Springer-Verla

Ammonia emissions from livestock production in Chile: an inventory and uncertainty analysis

Indexación: Web of Science; Scielo.The objective of this work was to quantify the country's NH3 emissions from livestock production. This calculation was based on the mass flow of total ammoniacal nitrogen (TAN). The analysis was performed for all 15 geographical regions in Chile. The definition of livestock subcategories was based on data from the Chilean Agriculture and Forestry Census as well as technical reports published by the Chilean National Statistics Institute. Significant differences were observed among the sources of livestock emissions in Chile's regions, and there was high variability depending on the degree of livestock confinement. In 2013, the total calculated emissions were 69.1 kt NH3/year (± 31.1). The O’Higgins Region had the highest NH3 emissions in Chile, representing 45% of the total. In terms of livestock production, 45% of the emissions were generated by pigs, 22% by poultry, 16% by cattle, 11% by equines and 4% by sheep. Emissions from the TAN that was available during manure and slurry management and the degree of animal confinement were the primary sources of uncertainty. This uncertainty could be greatly reduced by developing regional emission factors and by including the degree of animal confinement in Chile's national statistics such as the Agriculture, Livestock and Forestry Census.http://www.scielo.cl/scielo.php?pid=S0718-95162016005000005&script=sci_abstrac

The Large-NN Limit of the Two-Hermitian-matrix model by the hidden BRST method

This paper discusses the large N limit of the two-Hermitian-matrix model in zero dimensions, using the hidden BRST method. A system of integral equations previously found is solved, showing that it contained the exact solution of the model in leading order of large $N$.Comment: 19 pages, Latex,CERN--TH-6531/9

An Algorithm for Probabilistic Alternating Simulation

In probabilistic game structures, probabilistic alternating simulation (PA-simulation) relations preserve formulas defined in probabilistic alternating-time temporal logic with respect to the behaviour of a subset of players. We propose a partition based algorithm for computing the largest PA-simulation, which is to our knowledge the first such algorithm that works in polynomial time, by extending the generalised coarsest partition problem (GCPP) in a game-based setting with mixed strategies. The algorithm has higher complexities than those in the literature for non-probabilistic simulation and probabilistic simulation without mixed actions, but slightly improves the existing result for computing probabilistic simulation with respect to mixed actions.Comment: We've fixed a problem in the SOFSEM'12 conference versio

Mortality and top-kill in Douglas-fir following defoliation by the western spruce budworm in British Columbia

Surveys of mortality and top-kill caused by the western spruce budworm, <i>Choristoneura occidentalis</i> Freeman, in 65 stands of Douglas-fir, <i>Pseudotsuga menziesii</i> (Mirb.) Franco are reported. Top-kill was detected in 85% of the stands and 25% of the trees surveyed. Mortality amounted to 8% and less than 1% of the trees examined in the Vancouver and Kamloops Forest Regions, respectively. Both frequency of top-kill and mortality were related to the number of years defoliation in the stand and were higher on suppressed trees than on dominant or co-dominant trees. Younger stands sustained a higher incidence of topkill than older stands. Tree mortality was higher on steep slopes than on flat terrain. These results suggested that top-kill or mortality were the results of physiological stress on the trees, in addition to the debilitating effects of defoliation